University of Birmingham

Results: 2922



#Item
31VOLUNTARY ACTION HISTORY SEMINARS VAHS seminar series at the Institute of Historical Research SEMINAR ABSTRACT 13 October 2014 Andrew Jones, University of Birmingham The Humanitarian Industry in Britain: An early history

VOLUNTARY ACTION HISTORY SEMINARS VAHS seminar series at the Institute of Historical Research SEMINAR ABSTRACT 13 October 2014 Andrew Jones, University of Birmingham The Humanitarian Industry in Britain: An early history

Add to Reading List

Source URL: www.vahs.org.uk

Language: English - Date: 2017-02-15 17:11:24
    32StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

    StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2013-12-10 12:35:05
      33Practical everlasting privacy Myrto Arapinis1 , V´eronique Cortier2 , Steve Kremer2 , and Mark Ryan1 1 School of Computer Science, University of Birmingham 2

      Practical everlasting privacy Myrto Arapinis1 , V´eronique Cortier2 , Steve Kremer2 , and Mark Ryan1 1 School of Computer Science, University of Birmingham 2

      Add to Reading List

      Source URL: www.cs.bham.ac.uk.

      Language: English - Date: 2013-04-19 15:49:07
        34Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

        Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2010-04-20 09:42:28
          35An evaluation of hypothetical attacks against the PassWindow authentication method Matthew Slyman, University of Cambridge Sean O’Neil, VEST Corporation Gadescu Horatiu Nicolae, University of Birmingham Ben van der Mer

          An evaluation of hypothetical attacks against the PassWindow authentication method Matthew Slyman, University of Cambridge Sean O’Neil, VEST Corporation Gadescu Horatiu Nicolae, University of Birmingham Ben van der Mer

          Add to Reading List

          Source URL: www.passwindow.com

          Language: English - Date: 2014-04-17 22:27:09
            36A Malware-Tolerant, Self-Healing Industrial Control System Framework Michael Denzel, Mark Ryan, and Eike Ritter University of Birmingham, School of Computer Science, B15 2TT Birmingham, United Kingdom {m.denzel,m.d.ryan,

            A Malware-Tolerant, Self-Healing Industrial Control System Framework Michael Denzel, Mark Ryan, and Eike Ritter University of Birmingham, School of Computer Science, B15 2TT Birmingham, United Kingdom {m.denzel,m.d.ryan,

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2017-05-30 06:54:48
              37Rail Lexicon Mark 24, FebruaryUniversity of Birmingham and Network Rail Railway Lexicon Mk 24, February 2011 This lexicon was originally produced by the Railway Systems Group at the University of Sheffield, in coo

              Rail Lexicon Mark 24, FebruaryUniversity of Birmingham and Network Rail Railway Lexicon Mk 24, February 2011 This lexicon was originally produced by the Railway Systems Group at the University of Sheffield, in coo

              Add to Reading List

              Source URL: www.railway-technical.com

              Language: English - Date: 2018-05-28 05:39:46
                38Feature integration using a feature construct 1 Malte Plath and Mark Ryan School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK,

                Feature integration using a feature construct 1 Malte Plath and Mark Ryan School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK,

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:35:14
                  39Privacy-supporting cloud-based conference systems: protocol and verification Myrto Arapinis, Sergiu Bursuc, Mark Ryan School of Computer Science, University of Birmingham Security of cloud computing

                  Privacy-supporting cloud-based conference systems: protocol and verification Myrto Arapinis, Sergiu Bursuc, Mark Ryan School of Computer Science, University of Birmingham Security of cloud computing

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  Language: English - Date: 2011-06-20 08:16:21